gdk: Remove gdk_flush()
authorBenjamin Otte <otte@redhat.com>
Fri, 17 Nov 2017 07:35:25 +0000 (08:35 +0100)
committerBenjamin Otte <otte@redhat.com>
Fri, 17 Nov 2017 07:36:35 +0000 (08:36 +0100)
commitf4ec6290f88e0c3ce2fdbb9bb702999f6584f694
treef0c90684cdf7068082019c3fdda14b6da7abcd7f
parent8d7d5343d805158dea050e063c0ba329e8ebc85e
gdk: Remove gdk_flush()

If you need to flush a display, use gdk_display_flush().

There is never a need to flush displays you don't know about.
docs/reference/gdk/gdk4-sections.txt
gdk/gdkdisplay.c
gdk/gdkdisplay.h